One Right Does Make a Wrong
نویسندگان
چکیده
Algorithmic debugging is a semi-automatic method for locating bugs in programs. An algorithmic debugger asks a user a series of questions about the intended behaviour of the program. Here we present two new methods that reduces the number of questions a user must answer to locate a bug. First, we describe a heuristic based on comparing computations of the same program with different inputs. Besides a computation that exhibits some erroneous behaviour, we use information from computations that produce correct results. The heuristic uses program slices to identify areas of code that are likely to be correct. Secondly, we describe a method of compressing the search tree that guides the questions of an algorithmic debugger. This compression is particularly successful when used in combination with our heuristic. Both heuristic and tree-compression are applicable to algorithmic debugging in general. We have implemented it for locating bugs in Haskell programs.
منابع مشابه
A Study of Answer Changing Behavior in MC Tests: The Effect of the Academic Course, Field of Study, Gender and Teachers’ Attitude
This study investigated the answer changing behavior of the Iranian university students and its relationship to the academic course, gender, and field of study. 362 students at the University of Isfahan took part in the study. 76 English language teachers were also surveyed for their attitude toward answer changing on MC tests. The results indicated that 42.11% of the teachers had a negative at...
متن کاملCritical Study of Right to be wrong From the point of view ofcollectivists, utilitarians, and virtuosos
circuit right discourse is one of the most common theories in the contemporary period about regulating human social relations. The formation of this course of thought and the exhibition of a unidimensional understanding of the concept of right in the West is the result of socio-political changes in the seventeenth and eighteenth centuries. It was during this period that thinkers’ response to th...
متن کاملEthical Considerations in Respecting Patient's Autonomy and Right to Refuse Treatment: A case Report
One of the most challenging aspects of treatment is when patient seriously refuses the desired by treating physician. On the other hand, refusing treatment is a condition of the patient's right to be aware, but does such a right also imposes a moral obligation on the treating physician or not? This study discusses the diagnosis of Systemic Lupus Erythematosis disease. This article attempts to p...
متن کامل“Calling People to do Good Deeds” and “Commanding Right and Forbidding Wrong” [Amr Bil Ma'ruf and Nahi 'Anil Munkar] and its Effect on Institutionalization in the Legal System of Islamic Republic of Iran
The holy Quran has put “calling people to do good deeds” [or calling people to an act of benevolence] besides and prior to “commanding rightand forbidding wrong”, [or commanding beneficence and forbidding maleficence]. However in many interpretive and jurisprudential books, no sufficient effort has been made to elaborate the difference features between these two and their results, whose manife...
متن کاملHat-delta — One Right Does Make a Wrong
We outline two heuristics for improving the localisation of bugs in a program. This is done by comparing computations of the same program with different input. At least one of these computations must produce a correct result, while exactly one must exhibit some erroneous behavior. First, reductions that are thought highly likely to be correct are eliminated from the search for the bug. Second, ...
متن کاملFathers and abortion.
I argue that it is possible for prospective mothers to wrong prospective fathers by bearing their child; and that lifting paternal liability for child support does not correct the wrong inflicted to fathers. It is therefore sometimes wrong for prospective mothers to bear a child, or so I argue here. I show that my argument for considering the legitimate interests of prospective fathers is not a...
متن کامل